階型理論

かいけいりろん【階型理論】

〔theory of types〕

〔論〕 ラッセルが集合論のパラドックスを解決するために， 存在者の領域とそれを表現する述語に階層構造（タイプ）を設けることを提唱した理論。 タイプ理論。

→ ラッセルのパラドックス